newtype FreeF f a = FreeF (forall i. (a -> i) -> f i)